Coq10: When To Take It, How Much To Take